Zanasi, Fabio: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Rewriting with Frobenius

Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

2

Deconstructing Lawvere with distributive laws

Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1.19 MB

english, 2018

3

On series-parallel pomset languages: Rationality, context-freeness and automata

Kappé, Tobias, Brunet, Paul, Luttik, Bas, Silva, Alexandra, Zanasi, Fabio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 684 KB

2019

4

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Graphical Affine Algebra

Bonchi, Filippo, Piedeleu, Robin, Sobocinski, Pawel, Zanasi, Fabio

Year:

2019

Language:

english

File:

PDF, 579 KB

english, 2019

5

[IEEE 2017 20th International Conference on Information Fusion (Fusion) - Xi'an, China (2017.7.10-2017.7.13)] 2017 20th International Conference on Information Fusion (Fusion) - Using social media in crisis management: SOTERIA fusion center for managing information gaps

Laudy, Claire, Ruini, Fabio, Zanasi, Alessandro, Przybyszewski, Marcin, Stachowicz, Anna

Year:

2017

Language:

english

File:

PDF, 505 KB

english, 2017

6

Full Abstraction for Signal Flow Graphs

Bonchi, Filippo, Sobocinski, Pawel, Zanasi, Fabio

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.47 MB

english, 2015

7

Repeated Monitoring of Au/SH Antigen in Blood Donors of Reggio Emilia

U. Fabio, G. Zanasi-Aggazzotti, E. Preite, G. Scapinelli

Journal:

Year:

1973

Language:

english

File:

PDF, 82 KB

english, 1973

8

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus

Facchini, Alessandro, Venema, Yde, Zanasi, Fabio

Year:

2013

Language:

english

File:

PDF, 288 KB

english, 2013

9

Hennessy-Milner Results for Probabilistic PDL

Gu, Tao, Silva, Alexandra, Zanasi, Fabio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 104 KB

2020

10

Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure

Bonchi, Filippo, Milius, Stefan, Silva, Alexandra, Zanasi, Fabio

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.45 MB

english, 2015

11

Interacting Hopf algebras

Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Journal:

Journal of Pure and Applied Algebra

Year:

2017

Language:

english

File:

PDF, 1.61 MB

english, 2017

12

The Algebra of Partial Equivalence Relations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 398 KB

english, 2016

13

Laboratory and Field Evaluation of Metallic Copper on Aedes albopictus (Diptera: Culicidae) Larval Development

Romi, Roberto, Di Luca, Marco, Raineri, Walter, Pesce, Maria, Rey, Antonio, Giovannangeli, Silvana, Zanasi, Fabio, Bella, Antonino

Journal:

Journal of Medical Entomology

Year:

2000

Language:

english

File:

PDF, 161 KB

english, 2000

14

[IEEE 2008 IEEE Instrumentation and Measurement Technology Conference - I2MTC 2008 - Victoria, BC, Canada (2008.05.12-2008.05.15)] 2008 IEEE Instrumentation and Measurement Technology Conference - A Classification Method for Wood Types using Fluorescence Spectra

Camorani, Paolo, Badiali, Marco, Francomacaro, Daniela, Gamassi, Marco, Piuri, Vincenzo, Scotti, Fabio, Zanasi, Marco

Year:

2008

Language:

english

File:

PDF, 5.39 MB

english, 2008

15

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Full Abstraction for Signal Flow Graphs

Bonchi, Filippo, Sobocinski, Pawel, Zanasi, Fabio

Year:

2015

Language:

english

File:

PDF, 1.47 MB

english, 2015

16

A Predicate/State Transformer Semantics for Bayesian Learning

Jacobs, Bart, Zanasi, Fabio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 319 KB

english, 2016

17

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Graphical Affine Algebra

Bonchi, Filippo, Piedeleu, Robin, Sobocinski, Pawel, Zanasi, Fabio

Year:

2019

File:

PDF, 579 KB

2019

18

Effect of unbalanced diets on the long‐term metabolism of a toxicant 1. Lead in rats: Preliminary note

Baldini, Massimo, Coni, Ettore, Mantovani, Alberto, Stacchini, Angelo, Zanasi, Fabio

Journal:

Food Additives & Contaminants

Year:

1989

Language:

english

File:

PDF, 442 KB

english, 1989

19

The Calculus of Signal Flow Diagrams I: Linear relations on streams

Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.10 MB

english, 2016

20

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Rewriting modulo symmetric monoidal structure

Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio

Year:

2016

Language:

english

File:

PDF, 1.71 MB

english, 2016

21

Repeated Monitoring of Au/SH Antigen in Blood Donors of Reggio Emilia

Fabio, U., Zanasi-Aggazzotti, G., Preite, E., Scapinelli, G.

Journal:

Year:

1973

File:

PDF, 81 KB

1973

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски